منابع مشابه
Programming in Lygon: An Overview
For many given systems of logic, it is possible to identify, via systematic proof-theoretic analyses, a fragment which can be used as a basis for a logic programming language. Such analyses have been applied to linear logic, a logic of resource-consumption, leading to the de nition of the linear logic programming language Lygon. It appears that (the basis of) Lygon can be considered to be the l...
متن کاملProgramming in Lygon: A Brief Overview
Recently, there has been much interest in the application of linear logic, a logic of resourceconsumption, to computer science. In particular, the present authors (and others) have considered how logic programming languages can be derived by purely proof-theoretic analyses of linear logic. Such languages provide a notion of resource-oriented programming, often leading to programs that are more ...
متن کاملImplementing the Linear Logic Programming Language Lygon
There has been considerable work aimed at enhancing the expressiveness of logic programming languages. To this end logics other than classical rst order logic have been considered, including intuitionistic, relevant, temporal, modal and linear logic. Girard's linear logic has formed the basis of a number of logic programming languages. These languages are successful in enhancing the expressiven...
متن کاملOccupy Wall Street, Bay Street and the street nearest you.
The Canadian Centre for Policy Alternatives released a study in early January highlighting the growing income disparities between the richest and poorest Canadians. Income tax files from 2007 show that the average income of the top 1% of income earners was over $400,000 compared to about $44,000 for the average Canadian, almost a tenfold difference. Those who laboured at the minimum wage earned...
متن کاملStreet Crime and Street Culture
A model of social interactions shows why and when reputation concerns may support an ‘underclass’ culture of street crime where the incentives for such behavior are otherwise weak. Those who do not gain from street crime directly nevertheless find it optimal to invest in violence and thereby build a reputation that will earn them deference from the rest of the community. Even when the fraction ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Offset
سال: 1969
ISSN: 2204-3659,1445-9418
DOI: 10.15209/offset.v0i10.548